🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Solving LinkedIn Queens Using MiniZinc
zayenz.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·21h·
Discuss: Hacker News
💻Local LLMs
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·6h·
Discuss: DEV
📐Error Bounds
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·18h
💾Persistence Strategies
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·1d
🎯Performance Proofs
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs